The Projective Noether Maple Package: Computing the Dimension of a Projective Variety
نویسندگان
چکیده
منابع مشابه
The Projective Noether Maple Package: Computing the Dimension of a Projective Variety
Classical methods to study and solve systems of polynomial equations are based on numerous avatars of Gröbner (standard) basis algorithms or Riquier-Janet type methods (Ritt-Wu’s algorithm). All these methods use implicitly but deeply the dense or sparse representation of multivariate polynomials, which is the computer science counterpart of the expansion of these mathematical objects on the mo...
متن کاملBounding Projective Dimension
The use of algorithms in algebra as well as the study of their complexity was initiated before the advent of modern computers. Hermann [25] studied the ideal membership problem, i.e determining whether a given polynomial is in a fixed homogeneous ideal, and found a doubly exponential bound on its computational complexity. Later Mayr and Meyer [31] found examples which show that her bound was ne...
متن کاملQuantum physics as the projective representation theory of Noether symmetries
I construct lowest-energy representations of non-centrally extended algebras of Noether symmetries, including diffeomorphisms and reparametrizations of the observer’s trajectory. This may be viewed as a new scheme for quantization. First classical physics is formulated as the cohomology of a certain Koszul-Tate (KT) complex, using not only fields and antifields but also their conjugate momenta....
متن کاملOn two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملBig Divisors on a Projective Symmetric Variety
We describe the big cone of a projective symmetric variety. Moreover, we give a necessary and sufficient combinatorial criterion for the bigness of a nef divisor (linearly equivalent to a G-stable divisor) on a projective symmetric variety. When the variety is toroidal, such criterion has an explicitly geometrical interpretation. Finally, we describe the spherical closure of a symmetric subgrou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2000
ISSN: 0747-7171
DOI: 10.1006/jsco.2000.0369